package edu.washington.cs.workflow.instrument;

import junit.framework.TestCase;

public class TestInstrumentExamples extends TestCase {

	public void testWorkflowEx1() throws Exception {
		String inputJar = "./experiments/workflow-example-1.jar";
		String outputJar = "./experiments/workflow-example-1-instr.jar";
		InstruPointsController controller = new InstruPointsController();
		
		WorkflowTraceInstrumenter instrumenter = new WorkflowTraceInstrumenter(controller);
		
		instrumenter.disasm = true;
		
		instrumenter.instrument(inputJar, outputJar);
		InstrumentStats.showInstrumentationStats();
	}
	
}
